Referral request for S. Claus

Protocol-Safe Workflow Support for Santa Claus

Practical software analysis techniques exploit a form a process description, mostly in some flavour of state diagram. Unlike typing information, these process structures are usually not passed down to the implementation level, and neither are they exploited in any form of consistency check. It is our belief that the information in most designs suffices to perform all sorts of consistency checks...

Photon telegram to S. Claus: consequences for holography and causality in AdS

Gravitational time delay in asymptotically Anti de Sitter spaces has consequences for holographic duality. In this brief note, we discuss implications for precursors in the field theory, and formulate a condition on spacetimes which admit a holographic dual

Dynamic Asset Allocation ∗ Claus

Higher - Order ( Non - ) Modularity Claus

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting systems modularity of confluence, normalization, and termination can be recovered by imposing suitable l...

The Scientific Study of Consciousness : Searle ’ s Radical Request

John Searle offers what he thinks to be a reasonable scientific approach to the understanding of consciousness. I argue that Searle is demanding nothing less than a Kuhnian-type revolution with respect to how scientists should study consciousness given his rejection of the subject-object distinction and affirmation of mental causation. As part of my analysis, I reveal that Searle embraces a ver...